5 results
Essential and relational models†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 5 / June 2017
- Published online by Cambridge University Press:
- 23 July 2015, pp. 626-650
-
- Article
- Export citation
Introduction to Special Issue: Intersection types–new insights
-
- Journal:
- Mathematical Structures in Computer Science / Volume 13 / Issue 1 / February 2003
- Published online by Cambridge University Press:
- 04 March 2003, pp. 1-3
-
- Article
- Export citation
Call-by-value Solvability
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 6 / November 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 507-534
- Print publication:
- November 1999
-
- Article
- Export citation
The call-by-value λ-calculus: a semantic investigation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 5 / October 1999
- Published online by Cambridge University Press:
- 01 October 1999, pp. 617-650
-
- Article
- Export citation
Structured Operational Semantics of a fragment of the language Scheme
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 4 / July 1998
- Published online by Cambridge University Press:
- 01 July 1998, pp. 335-365
-
- Article
-
- You have access
- Export citation